IEEE 754-2008

Results: 142



#Item
11Implementing an interval computation library for OCaml on x86/amd64 architectures Jean-Marc Alliot1 and Jean-Baptiste Gotteland1,2 and Charlie Vanaret1,2 and Nicolas Durand1,2 and David Gianazza1,2 Abstract. In this pape

Implementing an interval computation library for OCaml on x86/amd64 architectures Jean-Marc Alliot1 and Jean-Baptiste Gotteland1,2 and Charlie Vanaret1,2 and Nicolas Durand1,2 and David Gianazza1,2 Abstract. In this pape

Add to Reading List

Source URL: oud.ocaml.org

Language: English - Date: 2012-07-24 12:02:05
12File: ARITH_17U  version dated July 8, 2005 4:30 am A Brief Tutorial on Gradual Underflow Prepared for ARITH 17, Tues. 28 June 2005,

File: ARITH_17U version dated July 8, 2005 4:30 am A Brief Tutorial on Gradual Underflow Prepared for ARITH 17, Tues. 28 June 2005,

Add to Reading List

Source URL: www.cs.berkeley.edu

Language: English - Date: 2005-07-08 07:34:24
13CCCG 2007, Ottawa, Ontario, August 20–22, 2007  On the Design and Performance of Reliable Geometric Predicates using Error-free Transformations and Exact Sign of Sum Algorithms∗ Marc M¨orig†

CCCG 2007, Ottawa, Ontario, August 20–22, 2007 On the Design and Performance of Reliable Geometric Predicates using Error-free Transformations and Exact Sign of Sum Algorithms∗ Marc M¨orig†

Add to Reading List

Source URL: cccg.ca

Language: English - Date: 2008-10-28 21:27:37
14

PDF Document

Add to Reading List

Source URL: www.iis.ee.ethz.ch

Language: English - Date: 2006-03-07 18:40:56
15© ISO/IEC 2014 – All rights reserved  Working Group Draft – February 4, 2014 ISO/IEC JTC 1/SC 22/WG 14 N1790 Date: yyyy-mm-dd

© ISO/IEC 2014 – All rights reserved Working Group Draft – February 4, 2014 ISO/IEC JTC 1/SC 22/WG 14 N1790 Date: yyyy-mm-dd

Add to Reading List

Source URL: www.open-std.org

Language: English - Date: 2014-02-04 14:18:22
16WG 14 N1839 WG14 CFP meeting minutes for the meeting of:00 AM PDT / 12:00 PM EDT: Attendees: Jim, Rajan, Fred, David, Mike, Ian New agenda items: None.

WG 14 N1839 WG14 CFP meeting minutes for the meeting of:00 AM PDT / 12:00 PM EDT: Attendees: Jim, Rajan, Fred, David, Mike, Ian New agenda items: None.

Add to Reading List

Source URL: www.open-std.org

Language: English - Date: 2014-06-30 11:39:36
17© ISO/IEC 2013 – All rights reserved  Working Group Draft – March 2, 2013 ISO/IEC JTC 1/SC 22/WG 14 N1679 Date: yyyy-mm-dd

© ISO/IEC 2013 – All rights reserved Working Group Draft – March 2, 2013 ISO/IEC JTC 1/SC 22/WG 14 N1679 Date: yyyy-mm-dd

Add to Reading List

Source URL: www.open-std.org

Language: English - Date: 2013-03-24 08:18:31
18© ISO/IEC 2013 – All rights reserved  Working Group Draft – October 7, 2013 ISO/IEC JTC 1/SC 22/WG 14 N1774 Date: yyyy-mm-dd

© ISO/IEC 2013 – All rights reserved Working Group Draft – October 7, 2013 ISO/IEC JTC 1/SC 22/WG 14 N1774 Date: yyyy-mm-dd

Add to Reading List

Source URL: www.open-std.org

Language: English - Date: 2013-10-28 08:04:09
19© ISO/IEC 2013 – All rights reserved  Draft Technical Specification – November 25, 2013 ISO/IEC JTC 1/SC 22/WG 14 N1781 Date: yyyy-mm-dd

© ISO/IEC 2013 – All rights reserved Draft Technical Specification – November 25, 2013 ISO/IEC JTC 1/SC 22/WG 14 N1781 Date: yyyy-mm-dd

Add to Reading List

Source URL: www.open-std.org

Language: English - Date: 2013-12-08 11:47:34
20© ISO/IEC 2014 – All rights reserved  Working Group Draft – April 29, 2014 ISO/IEC JTC 1/SC 22/WG 14 N1834 Date: yyyy-mm-dd

© ISO/IEC 2014 – All rights reserved Working Group Draft – April 29, 2014 ISO/IEC JTC 1/SC 22/WG 14 N1834 Date: yyyy-mm-dd

Add to Reading List

Source URL: www.open-std.org

Language: English - Date: 2014-05-02 15:34:26